Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
341	Probabilistic Spatial Mapping and Curve Tracking in Distributed Multi-Agent Systems Ryan K. Williams and Gaurav S. Sukhatme Abstract— In this paper we consider a probabilistic method for mapping a spatial process over Add to Reading List Source URL: robotics.usc.edu Language: English - Date: 2013-06-01 19:27:52 Mathematical optimization Operations research Agent-based model Knowledge Economic model Control theory Markov random field Science Applied mathematics Artificial intelligence
342	Non-Omniscience, Probabilistic Inference, and Metamathematics Paul Christiano∗ June 22, 2014 Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-06-22 13:59:27 Metalogic Philosophical logic Model theory Deduction Entailment Probabilistic logic Axiom Function First-order logic Logic Mathematics Mathematical logic
343	ON THE COEVOLUTION OF BASIC ARITHMETIC LANGUAGE AND KNOWLEDGE JEFFREY A. BARRETT Abstract. Skyrms-Lewis sender-receiver games with invention allow one to model how a simple mathematical language might be invented and bec Add to Reading List Source URL: www.imbs.uci.edu Language: English - Date: 2014-11-04 13:08:56 Arithmetic Disposition Mathematics Affect Competence Information Mind Consciousness Asymmetric information Game theory Signaling game
344	L3 Summer internship report Laboratoire Bordelais de Recherche en Informatique June – July 2009 Advisors: Anca Muscholl and Marc Zeitoun Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2010-08-17 15:33:38 Algebra Formal languages Algebraic structures Category theory Monoid Free monoid Semigroup Model theory Trace monoid Abstract algebra Semigroup theory Mathematics
345	Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Structure Interpretation First-order logic Symbol Permutation Signature Parity of a permutation Combinatorial species Mathematics Model theory Logic
346	A new exponential separation between quantum and classical one-way communication complexity Ashley Montanaro∗ April 26, 2011 Abstract Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2011-04-26 10:51:57 Computational complexity theory Quantum information science Communication Communication complexity PP NP One-Shot Entanglement-Enhanced Classical Communication Decision tree model Theoretical computer science Applied mathematics Quantum complexity theory
347	Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs Steffen Juilf Smolka and Jasmin Christian Blanchette Technische Universität München, Germany Abstract Sledgehammer integrates external automatic theorem provers Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-05-15 10:49:35 Model theory Automated theorem proving Predicate logic First-order logic Herbrandization Mathematical proof Isabelle Proof assistant Constructible universe Mathematics Mathematical logic Logic
348	JAF26/Weak Arithmetics Days Seville, June 11–13, 2007 Self-applied proof verification (Extended abstract)? Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:52:10 Philosophical logic Model theory Predicate logic Metalogic Mathematical proof Kripke semantics Correctness Quantification Function Logic Mathematics Mathematical logic
349	1 Introduction An analogue of Jeu de taquin for Littelmann’s crystal paths Marc A. A. van Leeuwen Universit´e de Poitiers, D´epartement de Math´ematiques, UFR Sciences SP2MI, T´el´eport 2, BP 30179, 86962 Futuros Add to Reading List Source URL: www-math.univ-poitiers.fr Language: English - Date: 2014-09-01 05:21:15 Algebraic combinatorics Representation theory Symmetric functions Littelmann path model Littlewood–Richardson rule Jeu de taquin Young tableau Abstract algebra Algebra Mathematics
350	©2002 Murray Turoff and Harold A. Linstone V.B. An Elementary Cross-Impact Model# NORMAN C. DALKEY* Abstract Cross-impact analysis is a method for revising estimated probabilities of future events Add to Reading List Source URL: is.njit.edu Language: English - Date: 2002-10-15 13:00:04 Methodology Scientific method Probability space Statistical theory Bayesian statistics Science Probability theory Cross Impact Analysis

UPDATE